منابع مشابه
Negation and Constraint Logic Programming
Almost all constraint logic programming systems include negation, yet nowhere has a sound operational model for negation in CLP been discussed. The SLDNF approach of only allowing ground negative subgoals to execute is very restrictive in constraint logic programming where most variables appearing in a derivation never become ground. By describing a scheme for constructive negation in constrain...
متن کاملNegation Without Negation in Probabilistic Logic Programming
Probabilistic logic programs without negation can have cycles (with a preference for false), but cannot represent all conditional distributions. Probabilistic logic programs with negation can represent arbitrary conditional probabilities, but with cycles they create logical inconsistencies. We show how allowing negative noise probabilities allows us to represent arbitrary conditional probabilit...
متن کامل5.2 Negation in Logic Programming
43 negated predicate calls must be executed as an indivisible operation, with only a true/false answer. Constructive negation 1, 18, 25, 37, 38] is an alternative implementation which allows negated predicate calls to produce more informative answers. Program transformations, when they are applicable, can allow execution of negated predicate calls which incrementally produce informative answers...
متن کاملLogic Programming and Negation: A Survey
Nonmonotonic grew out attempts to the essential of common-sense It resulted a number important formalisms, most known them being circumsctiption method McCarthy [loll, default theory Reiter [136], autoepistemic Zogic Moore 11041. a systematic of these see the published Marek Truszczyfiski [98].) of the features of programming is it can support nonmonotonic means of literals. Many introduced the...
متن کاملRAPPORT Logic Programming and Negation : A Survey
We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1995
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1048